Application of a stochastic name-passing calculus to representation and simulation of molecular processes
نویسندگان
چکیده
We describe a novel application of a stochastic name-passing calculus for the study of biomolecular systems. We specify the structure and dynamics of biochemical networks in a variant of the stochastic π-calculus, yielding a model which is mathematically well-defined and biologically faithful. We adapt the operational semantics of the calculus to account for both the time and probability of biochemical reactions, and present a computer implementation of the calculus for biochemical simulations. 2001 Elsevier Science B.V. All rights reserved.
منابع مشابه
The Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems
Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...
متن کاملControl Problem and its Application in Management and Economic
The control problem and Dynamic programming is a powerful tool in economics and management. We review the dynamic programming problem from its beginning up to its present stages. A problem which was involved in physics and mathematics in I 7” century led to a branch of mathematics called calculus of variation which was used in economic, and management at the end of the first quarter of the 20” ...
متن کاملApplication of DJ method to Ito stochastic differential equations
This paper develops iterative method described by [V. Daftardar-Gejji, H. Jafari, An iterative method for solving nonlinear functional equations, J. Math. Anal. Appl. 316 (2006) 753-763] to solve Ito stochastic differential equations. The convergence of the method for Ito stochastic differential equations is assessed. To verify efficiency of method, some examples are ex...
متن کاملNumerical solution and simulation of random differential equations with Wiener and compound Poisson Processes
Ordinary differential equations(ODEs) with stochastic processes in their vector field, have lots of applications in science and engineering. The main purpose of this article is to investigate the numerical methods for ODEs with Wiener and Compound Poisson processes in more than one dimension. Ordinary differential equations with Ito diffusion which is a solution of an Ito stochastic differentia...
متن کاملConfidence Interval Estimation of the Mean of Stationary Stochastic Processes: a Comparison of Batch Means and Weighted Batch Means Approach (TECHNICAL NOTE)
Suppose that we have one run of n observations of a stochastic process by means of computer simulation and would like to construct a condifence interval for the steady-state mean of the process. Seeking for independent observations, so that the classical statistical methods could be applied, we can divide the n observations into k batches of length m (n= k.m) or alternatively, transform the cor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 80 شماره
صفحات -
تاریخ انتشار 2001